Generating simple convex Venn diagrams

In this paper we are concerned with producing exhaustive lists of simple monotone Venn diagrams that have some symmetry (non-trivial isometry) when drawn on the sphere. A diagram is simple if at most two curves intersect at any point, and it is monotone if it has some embedding on the plane in which all curves are convex. We show that there are 23 such 7-Venn diagrams with a 7-fold rotational symmetry about the polar axis, and that 6 of these have an additional 2-fold rotational symmetry about an equatorial axis. In the case of simple monotone 6-Venn diagrams, we show that there are 39020 non-isomorphic planar diagrams in total, and that 375 of them have a 2-fold symmetry by rotation about an equatorial axis, and amongst these we determine all those that have a richer isometry group on the sphere. Additionally, 270 of the 6-Venn diagrams also have the 2-fold symmetry induced by reflection about the center of the sphere. Since such exhaustive searches are prone to error, we have implemented the search in a couple of ways, and with independent programs. These distinct algorithms are described. We also prove that the Grünbaum encoding can be used to efficiently identify any monotone Venn diagram.